A Linear Systolic Array for the Computation of Gröbner Basis

Grr obner basis are a powerful tool with many applications in symbolic computation. In this article, we describe a linear systolic array which can be used as coprocessor for eecient computation of Grr obner basis. It was designed by synthesis from the high-level speciication language Alpha. Un r eseau systolique lin eaire pour le calcul de bases de Grr obner R esum e : Les bases de Grr obner sont un outil puissant avec de nombreuses applications dans le domaine du calcul symbolique. Dans cet article, nous d ecrivons un r eseau systolique lin eaire qui peut ^ etre utilis e comme coprocesseur pour le calcul eecace des bases de Grr obner. Il a et e produit par synth ese a partir du langage de sp eciication de haut niveau Alpha.